VDM相关论文
现实中基于树型层次结构的属性值分类是普遍存在的,反映这种树型层次结构的属性值分类法(Attribute Value Tax?onomy,AVT)已被证明......
提出了一种基于O SDC的改进型数字视频混合器(VDM)的设计原理,实现了任意字符和图形在视频上的叠加显示,解决了字符大小和屏幕显示......
由于VS98不能用于内核态的设备驱动程序的构造,所以在创建之后必须使用另外的工具构造驱动程序,为了简化程序开发过程,提高开发效......
特征选择在机器学习和数据挖掘中起到了至关重要的作用。Relief作为一种高效的过滤式特征选择算法,能处理多种类型的数据,且对噪声......
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为......
针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情......
根据以太网通信原理，设计了以太网通信的数字视频混合器（VDM）。该设备不仅能实现字符和图形在视频上的叠加显示，而且改进了以往VDM设备......
现代市场竞争从顾客价值来说．其实最根本的也就是一种广义概念上的价格竞争，因此对企业来说。取得价格竞争优势是很关键的。以下我们......
当前各行业的各种类型的监控摄像头的安装越来越普及,在交通测流、检测车辆违章、银行安保、工厂运行监控、产品加工等各方面都需......
AIS报文误包率是AIS系统接收性能优劣的唯一判决条件,而目前针对AIS系统进行误包率测量的仪器设备,在国内外尚未见报道.本文对AIS......
本文介绍了AIS信息交换的数据格式,分析了VDM信息压缩和分包传输的原理,提出了VDM语句合并处理、数据解压缩处理的方法,并给出了具......
1背景随着动车组检修业务的快速增长,原有的检修测试模式难以支撑未来的检修业务需求,提高测试设备自动化,成为解决问题的突破口。......
留学生汉语“慕课+课堂教学”模式是将慕课学习与课堂教学相结合,充分发挥两者的优势,促进学生汉语知识的自我构建能力,使对外汉语......
论述了在Windows 98/2000操作系统下如何实现MS-DOS应用程序对硬件设备的访问.详细分析了在Windows 98中的VxD技术及工作原理,在Wi......
<正>本文将为您简要介绍一下USB Type-C。它有5项主要特性使USB Type-C成为灵活、可扩展的接口。主要特性1供电USB Type-C接口默认......
商品流通领域里开架销售企业（超市、大卖场等）的商品损耗大致分为三类：一是外盗；二是内盗和内外结合盗窃；三是商品残损。引用百思买防损......
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM).阐述了形式化分析方法的特点,具体说明了维也纳分析......
